Program Development and Documentation by Informal Transformations and Derivations
نویسندگان
چکیده
منابع مشابه
Transformations as Proofs
We are concerned primarily with the task of uncovering the precise mathematical proofs which underlie certain semi-formal arguments. In the area of program development the program transformations [BuD77] are an excellent example of semi-formality, since, as is well known, the calculus of transformations is not, in general, sound1, and it is capable of effecting significant shifts in logical com...
متن کاملAn intensional semantics for elementary program transformations
This paper is a contribution to the formal study and analysis of vernacular forms of program derivation. Specifically, in this paper, our vernacular derivations are elementary program transformations over the natural numbers. We provide an intensional semantics for these transformations within the derivations of the Elementary theory of Operations and Numbers, EON, [Bee85]. This semantics is in...
متن کاملOn the Proof Theory of Program Transformations
§1 Abstract We provide an intensional semantics for certain elementary program transformations by describing a translation from these transformations to the derivations of a simple theory of operations and types and we show that this semantics is intensionally faithful. Our objective is to understand more precisely the intensional structure of a class of semi-formal program derivations.
متن کاملUsing Formal Transformations to Construct a Component Repository
This paper discusses how theoretical results from the eld of program transformations can be applied to develop a new approach to software reuse. We describe a model for the semantics of nondeterministic programs and speciications and use this model to show how reenements and transformations of programs and speciications can be proved correct by reference to their corresponding Weakest Precondit...
متن کاملScientific documentation of the Iranian radiopharmaceutical development program in the horizon 2025 in comparison to other regional competitors: A scientometric study
Introduction: Production and applicationofradiopharmaceuticals is one of the priorities in the comprehensive health map of Iran. The present study examines the scientific documentation of the Iranian radiopharmaceutical development program in the horizon 2025 in comparison to other regional competitors. Methods: The present study is a descriptive review p...
متن کامل